[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 109 96 86 233 0 98 99

N.S.

1 1.00 1.40 1.23 1.10 2.99 0.00 1.26 1.27

time (sec)

N/A 0.283 0.305 1.312 0.370 0.317 0.000 0.294 0.113

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 114 79 96 114 312 0 131 1804

N.S.

1 1.31 0.91 1.10 1.31 3.59 0.00 1.51 20.74

time (sec)

N/A 0.343 0.234 0.970 0.344 0.324 0.000 0.297 14.525

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 84 54 52 159 0 58 65

N.S.

1 1.00 1.56 1.00 0.96 2.94 0.00 1.07 1.20

time (sec)

N/A 0.259 0.200 0.797 0.369 0.319 0.000 0.292 0.103

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 74 55 63 64 239 0 92 119

N.S.

1 1.25 0.93 1.07 1.08 4.05 0.00 1.56 2.02

time (sec)

N/A 0.278 0.188 0.720 0.354 0.335 0.000 0.292 13.654

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 31 30 101 0 30 28

N.S.

1 1.00 1.00 0.86 0.83 2.81 0.00 0.83 0.78

time (sec)

N/A 0.225 0.026 0.640 0.364 0.317 0.000 0.304 0.096

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 41 39 38 35 206 0 62 272

N.S.

1 1.05 1.00 0.97 0.90 5.28 0.00 1.59 6.97

time (sec)

N/A 0.236 0.087 0.354 0.356 0.289 0.000 0.312 14.015

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 17 16 78 66 16 17

N.S.

1 1.00 1.00 0.68 0.64 3.12 2.64 0.64 0.68

time (sec)

N/A 0.199 0.009 0.366 0.377 0.293 0.372 0.306 14.319

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 96 55 47 116 0 49 856

N.S.

1 1.00 2.40 1.38 1.18 2.90 0.00 1.22 21.40

time (sec)

N/A 0.223 0.150 0.459 0.362 0.334 0.000 0.304 15.202

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 38 37 255 0 45 39

N.S.

1 1.00 1.00 0.97 0.95 6.54 0.00 1.15 1.00

time (sec)

N/A 0.229 0.128 0.604 0.366 0.318 0.000 0.289 14.102

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 77 147 96 104 203 0 102 1139

N.S.

1 1.26 2.41 1.57 1.70 3.33 0.00 1.67 18.67

time (sec)

N/A 0.267 0.348 0.784 0.341 0.335 0.000 0.287 13.898

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 59 62 72 343 0 134 77

N.S.

1 1.00 1.00 1.05 1.22 5.81 0.00 2.27 1.31

time (sec)

N/A 0.276 0.257 0.859 0.362 0.320 0.000 0.298 14.239

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 125 214 154 199 327 0 177 832

N.S.

1 1.34 2.30 1.66 2.14 3.52 0.00 1.90 8.95

time (sec)

N/A 0.318 1.325 1.159 0.326 0.396 0.000 0.294 17.833

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 90 109 126 459 0 254 121

N.S.

1 1.00 1.03 1.25 1.45 5.28 0.00 2.92 1.39

time (sec)

N/A 0.306 0.435 1.355 0.352 0.330 0.000 0.297 14.129

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 131 90 100 150 491 0 175 463

N.S.

1 1.16 0.80 0.88 1.33 4.35 0.00 1.55 4.10

time (sec)

N/A 0.364 0.353 1.139 0.383 0.344 0.000 0.301 14.918

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 118 77 79 296 0 82 96

N.S.

1 1.00 1.64 1.07 1.10 4.11 0.00 1.14 1.33

time (sec)

N/A 0.285 0.374 0.977 0.398 0.323 0.000 0.286 14.740

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 87 79 75 80 367 0 109 533

N.S.

1 1.16 1.05 1.00 1.07 4.89 0.00 1.45 7.11

time (sec)

N/A 0.286 0.374 0.735 0.518 0.335 0.000 0.297 14.613

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 59 53 53 206 0 56 47

N.S.

1 1.00 1.00 0.90 0.90 3.49 0.00 0.95 0.80

time (sec)

N/A 0.239 0.208 0.594 0.425 0.313 0.000 0.293 14.578

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 59 51 49 313 0 77 50

N.S.

1 1.00 1.09 0.94 0.91 5.80 0.00 1.43 0.93

time (sec)

N/A 0.233 0.184 0.493 0.388 0.342 0.000 0.307 13.866

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 39 38 165 289 38 36

N.S.

1 1.00 1.00 0.81 0.79 3.44 6.02 0.79 0.75

time (sec)

N/A 0.212 0.042 0.430 0.407 0.301 3.259 0.304 13.062

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 86 130 79 115 354 0 109 2213

N.S.

1 1.18 1.78 1.08 1.58 4.85 0.00 1.49 30.32

time (sec)

N/A 0.277 0.558 0.837 0.383 0.351 0.000 0.299 14.915

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 76 81 119 505 0 113 123

N.S.

1 1.00 1.00 1.07 1.57 6.64 0.00 1.49 1.62

time (sec)

N/A 0.303 0.554 1.035 0.468 0.319 0.000 0.315 13.911

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 130 183 119 220 560 0 194 2009

N.S.

1 1.19 1.68 1.09 2.02 5.14 0.00 1.78 18.43

time (sec)

N/A 0.338 1.005 1.485 0.480 0.409 0.000 0.299 14.644

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 97 110 170 653 0 270 176

N.S.

1 1.00 1.01 1.15 1.77 6.80 0.00 2.81 1.83

time (sec)

N/A 0.323 0.976 1.646 0.405 0.340 0.000 0.313 14.091

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 112 125 146 119 511 0 0 0

N.S.

1 0.96 1.07 1.25 1.02 4.37 0.00 0.00 0.00

time (sec)

N/A 0.284 0.470 0.579 0.279 0.593 0.000 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 70 96 60 46 453 0 0 61

N.S.

1 0.97 1.33 0.83 0.64 6.29 0.00 0.00 0.85

time (sec)

N/A 0.241 0.257 0.319 0.350 0.370 0.000 0.000 13.428

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 80 129 150 126 1246 0 0 0

N.S.

1 0.98 1.57 1.83 1.54 15.20 0.00 0.00 0.00

time (sec)

N/A 0.285 0.287 1.116 0.435 0.517 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 88 164 290 0 337 0 0 0

N.S.

1 1.07 2.00 3.54 0.00 4.11 0.00 0.00 0.00

time (sec)

N/A 0.274 2.234 1.344 0.000 0.333 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

143 150 669 570 0 443 0 0 0

N.S.

1 1.05 4.68 3.99 0.00 3.10 0.00 0.00 0.00

time (sec)

N/A 0.315 14.156 1.590 0.000 0.551 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 260 199 432 0 0 0 0 0

N.S.

1 1.18 0.90 1.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.454 1.790 3.780 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 186 158 265 0 0 0 0 0

N.S.

1 1.17 0.99 1.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 1.121 3.141 0.000 0.000 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 61 71 0 0 0 0 0

N.S.

1 1.00 1.20 1.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.289 0.066 1.385 0.000 0.000 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 174 134 222 0 640 0 0 0

N.S.

1 1.33 1.02 1.69 0.00 4.89 0.00 0.00 0.00

time (sec)

N/A 0.360 0.803 2.665 0.000 0.135 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 244 187 368 0 789 0 0 0

N.S.

1 1.24 0.95 1.88 0.00 4.03 0.00 0.00 0.00

time (sec)

N/A 0.433 2.193 3.694 0.000 0.160 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 144 149 215 174 577 0 0 0

N.S.

1 0.92 0.95 1.37 1.11 3.68 0.00 0.00 0.00

time (sec)

N/A 0.307 0.879 0.497 0.417 1.378 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 102 93 90 73 503 0 0 60

N.S.

1 0.98 0.89 0.87 0.70 4.84 0.00 0.00 0.58

time (sec)

N/A 0.252 0.514 0.354 0.333 0.510 0.000 0.000 14.240

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 120 233 269 168 1381 0 0 0

N.S.

1 0.99 1.93 2.22 1.39 11.41 0.00 0.00 0.00

time (sec)

N/A 0.338 0.720 1.311 0.391 0.692 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 133 210 402 0 1471 0 0 0

N.S.

1 1.05 1.65 3.17 0.00 11.58 0.00 0.00 0.00

time (sec)

N/A 0.341 0.962 1.485 0.000 0.713 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 134 63 406 0 413 0 0 0

N.S.

1 1.10 0.52 3.33 0.00 3.39 0.00 0.00 0.00

time (sec)

N/A 0.300 0.121 1.389 0.000 0.673 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

195 196 938 693 0 545 0 0 0

N.S.

1 1.01 4.81 3.55 0.00 2.79 0.00 0.00 0.00

time (sec)

N/A 0.347 14.936 2.079 0.000 2.276 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 331 247 590 0 0 0 0 0

N.S.

1 1.03 0.77 1.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.543 3.143 4.569 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 256 200 429 0 0 0 0 0

N.S.

1 0.99 0.77 1.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.462 1.668 5.092 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 155 156 266 0 0 0 0 0

N.S.

1 1.01 1.01 1.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.812 0.835 2.399 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 185 144 365 0 0 0 0 0

N.S.

1 1.02 0.79 2.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.390 1.615 3.867 0.000 0.000 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 253 190 375 0 784 0 0 0

N.S.

1 1.07 0.81 1.59 0.00 3.32 0.00 0.00 0.00

time (sec)

N/A 0.466 2.370 3.726 0.000 0.192 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 77 79 93 69 461 0 0 0

N.S.

1 0.97 1.00 1.18 0.87 5.84 0.00 0.00 0.00

time (sec)

N/A 0.262 0.106 0.444 0.246 0.394 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 34 21 394 0 0 33

N.S.

1 1.00 1.00 0.89 0.55 10.37 0.00 0.00 0.87

time (sec)

N/A 0.229 0.017 0.314 0.248 0.364 0.000 0.000 13.620

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 105 105 240 0 0 0

N.S.

1 1.00 1.00 2.50 2.50 5.71 0.00 0.00 0.00

time (sec)

N/A 0.247 0.036 1.059 0.354 0.357 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

91 97 408 360 0 361 0 0 0

N.S.

1 1.07 4.48 3.96 0.00 3.97 0.00 0.00 0.00

time (sec)

N/A 0.283 10.143 1.053 0.000 0.430 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 198 170 316 0 0 0 0 0

N.S.

1 1.18 1.01 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.396 1.185 2.431 0.000 0.000 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 133 83 111 0 0 0 0 0

N.S.

1 1.17 0.73 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.334 0.447 1.846 0.000 0.000 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 60 52 0 305 0 0 0

N.S.

1 1.00 1.18 1.02 0.00 5.98 0.00 0.00 0.00

time (sec)

N/A 0.281 0.057 0.469 0.000 0.112 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 185 141 278 0 632 0 0 0

N.S.

1 1.32 1.01 1.99 0.00 4.51 0.00 0.00 0.00

time (sec)

N/A 0.372 0.974 2.364 0.000 0.128 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 260 205 405 0 808 0 0 0

N.S.

1 1.23 0.97 1.91 0.00 3.81 0.00 0.00 0.00

time (sec)

N/A 0.445 2.572 3.893 0.000 0.160 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 73 88 85 74 559 0 0 0

N.S.

1 0.97 1.17 1.13 0.99 7.45 0.00 0.00 0.00

time (sec)

N/A 0.266 0.185 0.362 0.221 0.422 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 28 27 49 0 3392 117

N.S.

1 1.00 1.00 0.97 0.93 1.69 0.00 116.97 4.03

time (sec)

N/A 0.218 0.033 0.266 0.214 0.319 0.000 12.378 14.349

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

78 76 480 397 152 453 0 0 0

N.S.

1 0.97 6.15 5.09 1.95 5.81 0.00 0.00 0.00

time (sec)

N/A 0.270 7.517 1.144 0.334 0.390 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

134 142 224 3219 0 625 0 0 0

N.S.

1 1.06 1.67 24.02 0.00 4.66 0.00 0.00 0.00

time (sec)

N/A 0.339 7.367 3.545 0.000 0.597 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 273 184 415 0 0 0 0 0

N.S.

1 1.00 0.67 1.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.484 1.606 3.981 0.000 0.000 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 197 139 286 0 0 0 0 0

N.S.

1 0.98 0.69 1.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.405 0.874 2.530 0.000 0.000 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 178 133 145 0 777 0 0 0

N.S.

1 0.95 0.71 0.77 0.00 4.13 0.00 0.00 0.00

time (sec)

N/A 0.370 0.539 2.066 0.000 0.139 0.000 0.000 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 90 103 0 938 0 0 0

N.S.

1 1.00 0.89 1.02 0.00 9.29 0.00 0.00 0.00

time (sec)

N/A 0.430 0.132 1.061 0.000 0.158 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 254 167 360 0 1079 0 0 0

N.S.

1 1.06 0.70 1.50 0.00 4.50 0.00 0.00 0.00

time (sec)

N/A 0.441 1.573 2.978 0.000 0.165 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 137 128 208 207 799 0 0 0

N.S.

1 1.05 0.98 1.60 1.59 6.15 0.00 0.00 0.00

time (sec)

N/A 0.322 0.872 0.409 0.306 1.109 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 75 51 138 107 107 0 35378 183

N.S.

1 1.03 0.70 1.89 1.47 1.47 0.00 484.63 2.51

time (sec)

N/A 0.264 0.121 0.346 0.239 0.458 0.000 104.200 21.073

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 63 47 56 55 104 0 35375 164

N.S.

1 0.97 0.72 0.86 0.85 1.60 0.00 544.23 2.52

time (sec)

N/A 0.236 0.051 0.272 0.241 0.413 0.000 63.997 19.358

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

126 134 1291 899 272 775 0 0 0

N.S.

1 1.06 10.25 7.13 2.16 6.15 0.00 0.00 0.00

time (sec)

N/A 0.333 9.569 1.630 0.467 0.594 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 281 194 712 0 0 0 0 0

N.S.

1 1.16 0.80 2.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.500 2.847 4.943 0.000 0.000 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 271 171 485 0 1343 0 0 0

N.S.

1 1.22 0.77 2.17 0.00 6.02 0.00 0.00 0.00

time (sec)

N/A 0.475 1.807 2.794 0.000 0.225 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 254 175 549 0 1394 0 0 0

N.S.

1 1.17 0.81 2.53 0.00 6.42 0.00 0.00 0.00

time (sec)

N/A 0.436 1.794 3.102 0.000 0.195 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 228 172 547 0 1531 0 0 0

N.S.

1 1.02 0.77 2.45 0.00 6.87 0.00 0.00 0.00

time (sec)

N/A 1.182 1.282 1.620 0.000 0.201 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 351 245 1082 0 1746 0 0 0

N.S.

1 1.22 0.85 3.76 0.00 6.06 0.00 0.00 0.00

time (sec)

N/A 0.554 4.012 4.787 0.000 0.239 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

115 115 228 0 0 0 0 0 0

N.S.

1 1.00 1.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.316 1.432 0.000 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

214 211 191 0 0 0 0 0 0

N.S.

1 0.99 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.379 0.440 0.000 0.000 0.000 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 117 120 0 0 0 0 0 0

N.S.

1 0.94 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.286 0.208 0.000 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 67 67 0 0 0 0 0 64

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.96

time (sec)

N/A 0.224 0.030 0.000 0.000 0.000 0.000 0.000 15.621

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

76 76 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.247 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

76 76 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.253 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

90 90 199 0 0 0 0 0 0

N.S.

1 1.00 2.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.264 0.853 0.000 0.000 0.000 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

90 90 195 0 0 0 0 0 0

N.S.

1 1.00 2.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 0.752 0.000 0.000 0.000 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 90 145 0 0 0 0 0 0

N.S.

1 1.00 1.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.229 0.556 0.000 0.000 0.000 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

90 90 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

90 90 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.257 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 208 203 264 210 3216 0 221 229

N.S.

1 0.95 0.93 1.21 0.96 14.68 0.00 1.01 1.05

time (sec)

N/A 0.466 0.261 1.069 0.314 1.020 0.000 0.389 14.545

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 155 139 106 159 1049 0 156 153

N.S.

1 0.93 0.83 0.63 0.95 6.28 0.00 0.93 0.92

time (sec)

N/A 0.436 0.162 0.545 0.339 0.975 0.000 0.368 13.991

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 135 116 48 121 401 184 137 123

N.S.

1 0.94 0.81 0.33 0.84 2.78 1.28 0.95 0.85

time (sec)

N/A 0.340 0.059 0.421 0.303 0.350 2.619 0.338 14.505

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 276 268 300 288 4396 0 309 600

N.S.

1 0.95 0.92 1.03 0.99 15.16 0.00 1.07 2.07

time (sec)

N/A 0.576 0.234 0.901 0.311 1.224 0.000 0.387 0.260

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

385 365 362 372 470 10135 0 510 898

N.S.

1 0.95 0.94 0.97 1.22 26.32 0.00 1.32 2.33

time (sec)

N/A 0.725 2.263 1.889 0.297 2.131 0.000 0.370 14.961

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

764 767 300 121 0 23437 0 0 2338

N.S.

1 1.00 0.39 0.16 0.00 30.68 0.00 0.00 3.06

time (sec)

N/A 1.791 0.537 1.741 0.000 3.707 0.000 0.000 17.289

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

484 484 231 83 0 8236 0 0 951

N.S.

1 1.00 0.48 0.17 0.00 17.02 0.00 0.00 1.96

time (sec)

N/A 1.006 0.355 0.892 0.000 1.632 0.000 0.000 15.548

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) C F C F F B

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

245 245 0 83 0 25429 0 0 609

N.S.

1 1.00 0.00 0.34 0.00 103.79 0.00 0.00 2.49

time (sec)

N/A 0.523 0.000 0.459 0.000 1.245 0.000 0.000 14.887

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C C F C F F B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

299 0 432 162 0 59362 0 0 19737

N.S.

1 0.00 1.44 0.54 0.00 198.54 0.00 0.00 66.01

time (sec)

N/A 0.000 0.519 2.230 0.000 3.891 0.000 0.000 17.197

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C C F(-2) C F F B

verified

N/A N/A No Yes TBD TBD TBD TBD TBD

size

1093 0 679 291 0 85064 0 0 323390

N.S.

1 0.00 0.62 0.27 0.00 77.83 0.00 0.00 295.87

time (sec)

N/A 0.000 2.064 4.090 0.000 12.200 0.000 0.000 24.617

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 284 439 311 263 3624 0 0 384

N.S.

1 0.99 1.52 1.08 0.91 12.58 0.00 0.00 1.33

time (sec)

N/A 0.552 3.127 2.441 0.333 1.554 0.000 0.000 0.410

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 239 258 284 213 2255 0 0 203

N.S.

1 1.00 1.08 1.19 0.89 9.47 0.00 0.00 0.85

time (sec)

N/A 0.499 0.963 1.060 0.303 1.211 0.000 0.000 13.698

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 177 184 153 163 665 0 0 172

N.S.

1 0.97 1.01 0.84 0.89 3.63 0.00 0.00 0.94

time (sec)

N/A 0.412 0.735 1.016 0.323 0.359 0.000 0.000 0.368

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 170 152 134 155 655 617 0 165

N.S.

1 0.97 0.86 0.76 0.88 3.72 3.51 0.00 0.94

time (sec)

N/A 0.358 0.482 0.904 0.306 0.357 92.897 0.000 14.162

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

587 561 564 389 483 10855 0 0 980

N.S.

1 0.96 0.96 0.66 0.82 18.49 0.00 0.00 1.67

time (sec)

N/A 0.907 4.380 2.214 0.315 2.597 0.000 0.000 14.815

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

747 715 724 483 788 15989 0 0 1605

N.S.

1 0.96 0.97 0.65 1.05 21.40 0.00 0.00 2.15

time (sec)

N/A 1.196 6.433 4.779 0.336 7.045 0.000 0.000 14.274

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A C N/A F(-2) C N/A N/A B

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 394 241 0 9984 22 3 2431

N.S.

1 1.00 17.13 10.48 0.00 434.09 0.96 0.13 105.70

time (sec)

N/A 0.222 0.895 1.744 0.000 9.399 148.602 6.109 15.051

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A C N/A F(-2) C N/A N/A B

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 273 175 0 36403 22 3 1648

N.S.

1 1.00 11.87 7.61 0.00 1582.74 0.96 0.13 71.65

time (sec)

N/A 0.225 0.765 2.080 0.000 3.241 125.450 4.408 15.244

[next] [prev] [prev-tail] [front] [up]